%ifdef CONFIG
{
  "HostFeatures": ["AVX"],
  "RegData": {
    "XMM6":  ["0x414243443F800000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM7":  ["0x4142434440000000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM8":  ["0x4142434440400000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM9":  ["0x4142434440800000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM10": ["0x41424344C0800000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM11": ["0x41424344C0800000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"]
  }
}
%endif

lea rdx, [rel .data]

vmovapd xmm0, [rdx]

mov rax, [rdx + 32]
mov rbx, [rdx + 40]

vcvtsi2ss xmm6, xmm0, rax
vcvtsi2ss xmm7, xmm0, ebx

vcvtsi2ss xmm8, xmm0, dword [rdx + 48]
vcvtsi2ss xmm9, xmm0, qword [rdx + 56]

mov rbx, [rdx + 64]

vcvtsi2ss xmm10, xmm0, ebx
vcvtsi2ss xmm11, xmm0, dword [rdx + 64]

hlt

align 32
.data:
dq 0x4142434445464748
dq 0x5152535455565758
dq 0x6162636465666768
dq 0x7172737475767778

dq 0x0000000000000001
dq 0x0000000000000002
dq 0x0000000000000003
dq 0x0000000000000004
dq 0x7FC00000FFFFFFFC ; Stick something in the top 32bits to ensure correctness
